Easy cases of the D0L sequence equivalence problem

the problem of divine hiddenness

این رساله به مساله احتجاب الهی و مشکلات برهان مبتنی بر این مساله میپردازد. مساله احتجاب الهی مساله ای به قدمت ادیان است که به طور خاصی در مورد ادیان ابراهیمی اهمیت پیدا میکند. در ادیان ابراهیمی با توجه به تعالی خداوند و در عین حال خالقیت و حضور او و سخن گفتن و ارتباط شهودی او با بعضی از انسانهای ساکن زمین مساله ای پدید میاید با پرسشهایی از قبیل اینکه چرا ارتباط مستقیم ویا حداقل ارتباط وافی به ب...

Exploring the inference problem for D0L-Systems

Decidable Cases of the Rational Sequence Problem

Partial results concerning the decidability of the Rational Sequence Problem are presented. The two most notable make use of methods drawn from transcendental number theory and computational commutative algebra , respectively.

Three Variants of the DT0L Sequence Equivalence Problem

We discuss three variants of the DT0L sequence equivalence problem. One of the variants generalizes the ω-sequence equivalence problem of D0L systems for DT0L systems.

Optimierung Und Kontrolle Projektbereich Diskrete Optimierung Three Easy Special Cases of the Euclidean Travelling Salesman Problem Three Easy Special Cases of the Euclidean Travelling Salesman Problem

It is known that in case the distance matrix in the Travelling Salesman Problem (TSP) fulllls certain combinatorial conditions (e.g. the Demidenko conditions , the Kalmanson conditions or the Supnick conditions) then the TSP is solvable in polynomial time. This paper deals with the problem of recognizing Euclidean instances of the TSP for which there is a renumbering of the cities such that the...